Nuprl Definition : compose
12,41
postcript
pdf
(
f
o
g
)(
x
) ==
f
(
g
(
x
))
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
FDL editor aliases
compose
origin
x.A(x)x.A(x)